Reference Guide for the CRL toolset

Around the Tempo Toolset Userguide

From March 15th to August 31st 200, I attended a research internship within the Comuter Science and Artificial Intelligence Laboratory at the Massachusetts Institute of Technology under the supervision of Nancy Lynch. Within her group, the Theory of Distributed Systems Group, I worked on the Tempo Toolset develloped by Veromod Inc. and on six examples for the Tempo Toolset User Guide and Refere...

CRL : A Toolset for Analysing

The Syntax and Semantics of Timed $mu Crl$ the Syntax and Semantics of Timed Crl

We deene a speciication language called`timed CRL'. This language is designed to describe communicating processes employing data and time. Timed CRL is the successor of CRL 17]. It diiers in two main aspects. It is possible to make explicit reference to time using a newàt' operator; p,t is the process p where the rst action must take place at time t. Furthermore, a distinction has been made bet...

Notio - A Java API for Developing CG Tools

Notio [1] is a Java API for constructing conceptual graph tools and systems. Rather than attempting to provide a comprehensive toolset, Notio attempts to address the widely varying needs of the CG community by providing a platform for the development of tools and applications. It is, first and foremost, an API specification for which different underlying implementations may be constructed. A pu...

The Syntax and Semantics of timed CRL Jan Friso

We de ne a speci cation language called `timed CRL'. This language is designed to describe communicating processes employing data and time. Timed CRL is the successor of CRL [17]. It di ers in two main aspects. It is possible to make explicit reference to time using a new `at' operator; p,t is the process p where the rst action must take place at time t. Furthermore, a distinction has been made...